You have chosen Eubulides, Alonzo Church and Alonzo Church.
All three must be different; choose another philosopher.